Optimal. Leaf size=196 \[ -\frac {2 b d g n^2 x}{e}+\frac {b g n^2 (d+e x)^2}{4 e^2}+\frac {b d^2 g n^2 \log ^2(d+e x)}{2 e^2}+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {d n (d+e x) \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{e^2}-\frac {n (d+e x)^2 \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{4 e^2}-\frac {d^2 n \log (d+e x) \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{2 e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.17, antiderivative size = 196, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.233, Rules used = {2483, 2458, 45,
2372, 12, 14, 2338} \begin {gather*} -\frac {d^2 n \log (d+e x) \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{2 e^2}+\frac {d n (d+e x) \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{e^2}-\frac {n (d+e x)^2 \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{4 e^2}+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (g \log \left (c (d+e x)^n\right )+f\right )+\frac {b d^2 g n^2 \log ^2(d+e x)}{2 e^2}+\frac {b g n^2 (d+e x)^2}{4 e^2}-\frac {2 b d g n^2 x}{e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 45
Rule 2338
Rule 2372
Rule 2458
Rule 2483
Rubi steps
\begin {align*} \int x \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right ) \, dx &=\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )-\frac {1}{2} (b e n) \int \frac {x^2 \left (f+g \log \left (c (d+e x)^n\right )\right )}{d+e x} \, dx-\frac {1}{2} (e g n) \int \frac {x^2 \left (a+b \log \left (c (d+e x)^n\right )\right )}{d+e x} \, dx\\ &=\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )-\frac {1}{2} (b n) \text {Subst}\left (\int \frac {\left (-\frac {d}{e}+\frac {x}{e}\right )^2 \left (f+g \log \left (c x^n\right )\right )}{x} \, dx,x,d+e x\right )-\frac {1}{2} (g n) \text {Subst}\left (\int \frac {\left (-\frac {d}{e}+\frac {x}{e}\right )^2 \left (a+b \log \left (c x^n\right )\right )}{x} \, dx,x,d+e x\right )\\ &=\frac {1}{4} g n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {1}{4} b n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \left (\frac {1}{2} \left (b g n^2\right ) \text {Subst}\left (\int \frac {x (-4 d+x)+2 d^2 \log (x)}{2 e^2 x} \, dx,x,d+e x\right )\right )\\ &=\frac {1}{4} g n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {1}{4} b n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \frac {\left (b g n^2\right ) \text {Subst}\left (\int \frac {x (-4 d+x)+2 d^2 \log (x)}{x} \, dx,x,d+e x\right )}{4 e^2}\\ &=\frac {1}{4} g n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {1}{4} b n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \frac {\left (b g n^2\right ) \text {Subst}\left (\int \left (-4 d+x+\frac {2 d^2 \log (x)}{x}\right ) \, dx,x,d+e x\right )}{4 e^2}\\ &=\frac {1}{4} g n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {1}{4} b n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \left (-\frac {b d g n^2 x}{e}+\frac {b g n^2 (d+e x)^2}{8 e^2}+\frac {\left (b d^2 g n^2\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,d+e x\right )}{2 e^2}\right )\\ &=2 \left (-\frac {b d g n^2 x}{e}+\frac {b g n^2 (d+e x)^2}{8 e^2}+\frac {b d^2 g n^2 \log ^2(d+e x)}{4 e^2}\right )+\frac {1}{4} g n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )+\frac {1}{4} b n \left (\frac {4 d (d+e x)}{e^2}-\frac {(d+e x)^2}{e^2}-\frac {2 d^2 \log (d+e x)}{e^2}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{2} x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 263, normalized size = 1.34 \begin {gather*} \frac {b d f n x}{2 e}+\frac {a d g n x}{2 e}-\frac {3 b d g n^2 x}{2 e}+\frac {1}{2} a f x^2-\frac {1}{4} b f n x^2-\frac {1}{4} a g n x^2+\frac {1}{4} b g n^2 x^2-\frac {b d^2 f n \log (d+e x)}{2 e^2}-\frac {a d^2 g n \log (d+e x)}{2 e^2}+\frac {3 b d^2 g n \log \left (c (d+e x)^n\right )}{2 e^2}+\frac {b d g n x \log \left (c (d+e x)^n\right )}{e}+\frac {1}{2} b f x^2 \log \left (c (d+e x)^n\right )+\frac {1}{2} a g x^2 \log \left (c (d+e x)^n\right )-\frac {1}{2} b g n x^2 \log \left (c (d+e x)^n\right )-\frac {b d^2 g \log ^2\left (c (d+e x)^n\right )}{2 e^2}+\frac {1}{2} b g x^2 \log ^2\left (c (d+e x)^n\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.55, size = 1558, normalized size = 7.95
method | result | size |
risch | \(\text {Expression too large to display}\) | \(1558\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 231, normalized size = 1.18 \begin {gather*} \frac {1}{2} \, b g x^{2} \log \left ({\left (x e + d\right )}^{n} c\right )^{2} - \frac {1}{4} \, {\left (2 \, d^{2} e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x^{2} e - 2 \, d x\right )} e^{\left (-2\right )}\right )} b f n e - \frac {1}{4} \, {\left (2 \, d^{2} e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x^{2} e - 2 \, d x\right )} e^{\left (-2\right )}\right )} a g n e + \frac {1}{2} \, b f x^{2} \log \left ({\left (x e + d\right )}^{n} c\right ) + \frac {1}{2} \, a g x^{2} \log \left ({\left (x e + d\right )}^{n} c\right ) + \frac {1}{2} \, a f x^{2} + \frac {1}{4} \, {\left ({\left (2 \, d^{2} \log \left (x e + d\right )^{2} + x^{2} e^{2} - 6 \, d x e + 6 \, d^{2} \log \left (x e + d\right )\right )} n^{2} e^{\left (-2\right )} - 2 \, {\left (2 \, d^{2} e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x^{2} e - 2 \, d x\right )} e^{\left (-2\right )}\right )} n e \log \left ({\left (x e + d\right )}^{n} c\right )\right )} b g \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 231, normalized size = 1.18 \begin {gather*} \frac {1}{4} \, {\left (2 \, b g x^{2} e^{2} \log \left (c\right )^{2} + {\left (b g n^{2} + 2 \, a f - {\left (b f + a g\right )} n\right )} x^{2} e^{2} - 2 \, {\left (3 \, b d g n^{2} - {\left (b d f + a d g\right )} n\right )} x e + 2 \, {\left (b g n^{2} x^{2} e^{2} - b d^{2} g n^{2}\right )} \log \left (x e + d\right )^{2} + 2 \, {\left (2 \, b d g n^{2} x e + 3 \, b d^{2} g n^{2} - {\left (b g n^{2} - {\left (b f + a g\right )} n\right )} x^{2} e^{2} - {\left (b d^{2} f + a d^{2} g\right )} n + 2 \, {\left (b g n x^{2} e^{2} - b d^{2} g n\right )} \log \left (c\right )\right )} \log \left (x e + d\right ) + 2 \, {\left (2 \, b d g n x e - {\left (b g n - b f - a g\right )} x^{2} e^{2}\right )} \log \left (c\right )\right )} e^{\left (-2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.64, size = 296, normalized size = 1.51 \begin {gather*} \begin {cases} - \frac {a d^{2} g \log {\left (c \left (d + e x\right )^{n} \right )}}{2 e^{2}} + \frac {a d g n x}{2 e} + \frac {a f x^{2}}{2} - \frac {a g n x^{2}}{4} + \frac {a g x^{2} \log {\left (c \left (d + e x\right )^{n} \right )}}{2} - \frac {b d^{2} f \log {\left (c \left (d + e x\right )^{n} \right )}}{2 e^{2}} + \frac {3 b d^{2} g n \log {\left (c \left (d + e x\right )^{n} \right )}}{2 e^{2}} - \frac {b d^{2} g \log {\left (c \left (d + e x\right )^{n} \right )}^{2}}{2 e^{2}} + \frac {b d f n x}{2 e} - \frac {3 b d g n^{2} x}{2 e} + \frac {b d g n x \log {\left (c \left (d + e x\right )^{n} \right )}}{e} - \frac {b f n x^{2}}{4} + \frac {b f x^{2} \log {\left (c \left (d + e x\right )^{n} \right )}}{2} + \frac {b g n^{2} x^{2}}{4} - \frac {b g n x^{2} \log {\left (c \left (d + e x\right )^{n} \right )}}{2} + \frac {b g x^{2} \log {\left (c \left (d + e x\right )^{n} \right )}^{2}}{2} & \text {for}\: e \neq 0 \\\frac {x^{2} \left (a + b \log {\left (c d^{n} \right )}\right ) \left (f + g \log {\left (c d^{n} \right )}\right )}{2} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 477 vs.
\(2 (190) = 380\).
time = 4.10, size = 477, normalized size = 2.43 \begin {gather*} \frac {1}{2} \, {\left (x e + d\right )}^{2} b g n^{2} e^{\left (-2\right )} \log \left (x e + d\right )^{2} - {\left (x e + d\right )} b d g n^{2} e^{\left (-2\right )} \log \left (x e + d\right )^{2} - \frac {1}{2} \, {\left (x e + d\right )}^{2} b g n^{2} e^{\left (-2\right )} \log \left (x e + d\right ) + 2 \, {\left (x e + d\right )} b d g n^{2} e^{\left (-2\right )} \log \left (x e + d\right ) + {\left (x e + d\right )}^{2} b g n e^{\left (-2\right )} \log \left (x e + d\right ) \log \left (c\right ) - 2 \, {\left (x e + d\right )} b d g n e^{\left (-2\right )} \log \left (x e + d\right ) \log \left (c\right ) + \frac {1}{4} \, {\left (x e + d\right )}^{2} b g n^{2} e^{\left (-2\right )} - 2 \, {\left (x e + d\right )} b d g n^{2} e^{\left (-2\right )} + \frac {1}{2} \, {\left (x e + d\right )}^{2} b f n e^{\left (-2\right )} \log \left (x e + d\right ) - {\left (x e + d\right )} b d f n e^{\left (-2\right )} \log \left (x e + d\right ) + \frac {1}{2} \, {\left (x e + d\right )}^{2} a g n e^{\left (-2\right )} \log \left (x e + d\right ) - {\left (x e + d\right )} a d g n e^{\left (-2\right )} \log \left (x e + d\right ) - \frac {1}{2} \, {\left (x e + d\right )}^{2} b g n e^{\left (-2\right )} \log \left (c\right ) + 2 \, {\left (x e + d\right )} b d g n e^{\left (-2\right )} \log \left (c\right ) + \frac {1}{2} \, {\left (x e + d\right )}^{2} b g e^{\left (-2\right )} \log \left (c\right )^{2} - {\left (x e + d\right )} b d g e^{\left (-2\right )} \log \left (c\right )^{2} - \frac {1}{4} \, {\left (x e + d\right )}^{2} b f n e^{\left (-2\right )} + {\left (x e + d\right )} b d f n e^{\left (-2\right )} - \frac {1}{4} \, {\left (x e + d\right )}^{2} a g n e^{\left (-2\right )} + {\left (x e + d\right )} a d g n e^{\left (-2\right )} + \frac {1}{2} \, {\left (x e + d\right )}^{2} b f e^{\left (-2\right )} \log \left (c\right ) - {\left (x e + d\right )} b d f e^{\left (-2\right )} \log \left (c\right ) + \frac {1}{2} \, {\left (x e + d\right )}^{2} a g e^{\left (-2\right )} \log \left (c\right ) - {\left (x e + d\right )} a d g e^{\left (-2\right )} \log \left (c\right ) + \frac {1}{2} \, {\left (x e + d\right )}^{2} a f e^{\left (-2\right )} - {\left (x e + d\right )} a d f e^{\left (-2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.35, size = 203, normalized size = 1.04 \begin {gather*} x\,\left (\frac {d\,\left (a\,f-b\,g\,n^2\right )}{e}-\frac {d\,\left (a\,f-\frac {a\,g\,n}{2}-\frac {b\,f\,n}{2}+\frac {b\,g\,n^2}{2}\right )}{e}\right )+\ln \left (c\,{\left (d+e\,x\right )}^n\right )\,\left (\left (\frac {a\,g}{2}+\frac {b\,f}{2}-\frac {b\,g\,n}{2}\right )\,x^2+\left (\frac {d\,\left (a\,g+b\,f\right )}{e}-\frac {d\,\left (a\,g+b\,f-b\,g\,n\right )}{e}\right )\,x\right )+{\ln \left (c\,{\left (d+e\,x\right )}^n\right )}^2\,\left (\frac {b\,g\,x^2}{2}-\frac {b\,d^2\,g}{2\,e^2}\right )+x^2\,\left (\frac {a\,f}{2}-\frac {a\,g\,n}{4}-\frac {b\,f\,n}{4}+\frac {b\,g\,n^2}{4}\right )-\frac {\ln \left (d+e\,x\right )\,\left (a\,d^2\,g\,n+b\,d^2\,f\,n-3\,b\,d^2\,g\,n^2\right )}{2\,e^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________